Intuitionistic Free Abelian Groups

نویسندگان

Dirk van Dalen

Fer-Jan de Vries

چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON THE GROUPS WITH THE PARTICULAR NON-COMMUTING GRAPHS

Let $G$ be a non-abelian finite group. In this paper, we prove that $Gamma(G)$ is $K_4$-free if and only if $G cong A times P$, where $A$ is an abelian group, $P$ is a $2$-group and $G/Z(G) cong mathbb{ Z}_2 times mathbb{Z}_2$. Also, we show that $Gamma(G)$ is $K_{1,3}$-free if and only if $G cong {mathbb{S}}_3,~D_8$ or $Q_8$.

متن کامل

A Coq Formalization of Finitely Presented Modules

This paper presents a formalization of constructive module theory in the intuitionistic type theory of Coq. We build an abstraction layer on top of matrix encodings, in order to represent finitely presented modules, and obtain clean definitions with short proofs justifying that it forms an abelian category. The goal is to use it as a first step to get certified programs for computing topologica...

متن کامل

On categories of merotopic, nearness, and filter algebras

We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...

متن کامل

Cotorsion theories cogenerated by א1-free abelian groups

Given an א1-free abelian group G we characterize the class CG of all torsion abelian groups T satisfying Ext(G, T ) = 0 assuming the special continuum hypothesis CH. Moreover, in Gödel’s constructable universe we prove that this characterizes CG for arbitrary torsion-free abelian G. It follows that there exist some ugly א1-free abelian groups.

متن کامل